Википедия
Сюръекция
Сюръекция (сюръективное отображение, от — «на», «над» — «бросаю») — отображение множества X на множество Y (f : X → Y), при котором каждый элемент множества Y является образом хотя бы одного элемента множества X, то есть ∀y ∈ Y∃x ∈ X : y = f(x), иными словами — функция, принимающая все возможные значения. Иногда говорят, что сюръективное отображение f : X → Y отображает X на Y (в противоположность инъективному отображению , которое отображает X в Y).
Понятие сюръекции (наряду с инъекцией и биекцией ) введено в обиход в трудах Бурбаки и получило всеобщее распространение практически во всех разделах математики.